Filiot, Emmanuel: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (18)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Multi-Sequential Word Relations

Jecker, Ismaël, Filiot, Emmanuel

Журнал:

International Journal of Foundations of Computer Science

Рік:

2018

Мова:

english

Файл:

PDF, 535 KB

english, 2018

2

Decidable weighted expressions with Presburger combinators

Filiot, Emmanuel, Mazzocchi, Nicolas, Raskin, Jean-François

Журнал:

Journal of Computer and System Sciences

Рік:

2019

Мова:

english

Файл:

PDF, 1.24 MB

english, 2019

3

Antichains and compositional algorithms for LTL synthesis

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Журнал:

Formal Methods in System Design

Рік:

2011

Мова:

english

Файл:

PDF, 1.11 MB

english, 2011

4

Exploiting structure in LTL synthesis

Filiot, Emmanuel, Jin, Naiyong, Raskin, Jean-François

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2013

Мова:

english

Файл:

PDF, 1.11 MB

english, 2013

5

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Regular Transformations of Infinite Strings

Alur, Rajeev, Filiot, Emmanuel, Trivedi, Ashutosh

Рік:

2012

Мова:

english

Файл:

PDF, 294 KB

english, 2012

6

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - From Two-Way to One-Way Finite State Transducers

Filiot, Emmanuel, Gauwin, Olivier, Reynier, Pierre-Alain, Servais, Frederic

Рік:

2013

Мова:

english

Файл:

PDF, 288 KB

english, 2013

7

TREE AUTOMATA WITH GLOBAL CONSTRAINTS

FILIOT, EMMANUEL, TALBOT, JEAN-MARC, TISON, SOPHIE

Журнал:

International Journal of Foundations of Computer Science

Рік:

2010

Мова:

english

Файл:

PDF, 507 KB

english, 2010

8

[ACM Press the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium - Beijing, China (2007.06.11-2007.06.13)] Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '07 - Polynomial time fragments of XPath with variables

Filiot, Emmanuel, Niehren, Joachim, Talbot, Jean-Marc, Tison, Sophie

Рік:

2007

Мова:

english

Файл:

PDF, 295 KB

english, 2007

9

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Two-Way Visibly Pushdown Automata and Transducers

Dartois, Luc, Filiot, Emmanuel, Reynier, Pierre-Alain, Talbot, Jean-Marc

Рік:

2016

Мова:

english

Файл:

PDF, 341 KB

english, 2016

10

Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games

Bruyère, Véronique, Filiot, Emmanuel, Randour, Mickael, Raskin, Jean-François

Журнал:

Information and Computation

Рік:

2016

Мова:

english

Файл:

PDF, 2.20 MB

english, 2016

11

Doomsday equilibria for omega-regular games

Chatterjee, Krishnendu, Doyen, Laurent, Filiot, Emmanuel, Raskin, Jean-François

Журнал:

Information and Computation

Рік:

2016

Мова:

english

Файл:

PDF, 1.19 MB

english, 2016

12

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - On delay and regret determinization of max-plus automata

Filiot, Emmanuel, Jecker, Ismael, Lhote, Nathan, Perez, Guillermo A., Raskin, Jean-Francois

Рік:

2017

Мова:

english

Файл:

PDF, 382 KB

english, 2017

13

Decision problems of tree transducers with origin

Filiot, Emmanuel, Maneth, Sebastian, Reynier, Pierre-Alain, Talbot, Jean-Marc

Журнал:

Information and Computation

Рік:

2018

Мова:

english

Файл:

PDF, 1.25 MB

english, 2018

14

Visibly Pushdown Transducers

Filiot, Emmanuel, Raskin, Jean-François, Reynier, Pierre-Alain, Servais, Frédéric, Talbot, Jean-Marc

Журнал:

Journal of Computer and System Sciences

Рік:

2018

Мова:

english

Файл:

PDF, 648 KB

english, 2018

15

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Rational Synthesis Under Imperfect Information

Filiot, Emmanuel, Gentilini, Raffaella, Raskin, Jean-François

Рік:

2018

Мова:

english

Файл:

PDF, 769 KB

english, 2018

16

Decidable weighted expressions with Presburger combinators

Filiot, Emmanuel, Mazzocchi, Nicolas, Raskin, Jean-François

Журнал:

Journal of Computer and System Sciences

Рік:

2019

Файл:

PDF, 1.24 MB

2019

17

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Logics for Word Transductions with Synthesis

Dartois, Luc, Filiot, Emmanuel, Lhote, Nathan

Рік:

2018

Мова:

english

Файл:

PDF, 1.22 MB

english, 2018

18

[Lecture Notes in Computer Science] Reachability Problems Volume 11674 (13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings) ||

Filiot, Emmanuel, Jungers, Raphaël, Potapov, Igor

Рік:

2019

Мова:

english

Файл:

PDF, 6.25 MB

english, 2019